МЕТОДЫ И МОДЕЛИ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ ДИСКРЕТНЫМИ ПРОЦЕССАМИ В РАСПРЕДЕЛЕННЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМАХ НА ОСНОВЕ КОНЦЕПЦИИ СОГЛАСОВАНИЯ 

Зинкина Надежда Сергеевна, аспирант, Пензенский государственный университет, vt@alice.pnzgu.ru 

004.4:004.7 

Предлагается комплексная методология проектирования устройств и систем логического управления сложными распределенными дискретными процессами с параллельным выполнением операций. Основное внимание при проектировании уделяется формальному описанию процессов и их свойств на основе концепции согласования процессов через пространство структурированной памяти. Даны рекомендации по аппаратной и программной реализации распределенных систем управления. 

Ключевые слова

логическое управление, дискретные процессы, асинхронные предикатно-функциональные сети, формальные модели, распределенные вычислительные системы. 

 Скачать статью в формате PDF

1. Gurevich, Y. On Kolmogorov machines and related issues. The logic in computers science column / Y. Gurevich // Bulletin of Europian Assoc. for Theor. Comp. Science. – 1998. – № 35. – Р. 71–82.
2. Gurevich, Y. Evolving algebras – a tutorial introduction / Y. Gurevich // Bulletin of the EATS. – 1991. – V. 43. – Р. 264–284.
3. Dexter, S. Gurevich abstract state machines and Shönhage storage modification machines / S. Dexter, P. Doyle, Y. Gurevich // Journal of Universal Comp. Science. – 1997. – V. 3, № 4. – Р. 279–303.
4. Глушков, В. М. Алгебра. Языки. Программирование / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. – Киев : Наукова думка, 1978. – 320 с.
5. Глушков, В. М. Методы символьной мультиобработки / В. М. Глушков, Г. Е. Цейтлин, Е. Л. Ющенко. – Киев : Наукова думка, 1980. – 252 с.
6. Капитонова, Ю. В. Математическая теория проектирования вычислительных систем / Ю. В. Капитонова, А. А. Летичевский. – М. : Наука, 1988. – 296 с.
7. Искусственный интеллект : в 3-х кн. Кн. 3. Программные и аппаратные средства : справочник / под ред. В. Н. Захарова, В. Ф. Хорошевского. – М. : Радио и связь, 1990. – 368 с.
8. Представление и использование знаний / под ред. Х. Уэно, М. Исидзука. – М. : Мир, 1989. – 220 с.
9. Зинкина, Н. С. Методы спецификации динамических структур данных / Н. С. Зинкина // Проблемы информатики в образовании, управлении, экономике и технике : сборник статей IX Международной научно-технической конференции. – Пенза : Приволжский дом знаний, 2009. – С. 57–60.
10. Зинкина, Н. С. Логико-алгебраические спецификации имитационных моделей агентно-ориентированных систем / Н. С. Зинкина // Проблемы информатики в образовании, управлении, экономике и технике : сборник статей IX Международной научно-технической конференции. – Пенза : Приволжский дом знаний, 2009. – С. 60–65.
11. Зинкина, Н. С. Интеграция технологий распределенных баз данных и имитационного дискретно-событийного моделирования / Н. С. Зинкина // Современные информационные технологии : сборник статей Международной научно-технической конференции. – Вып. 9. – Пенза : Изд-во Пенз. гос. техн. акад., 2009. – С. 155–160.
12. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (базовый формализм и его расширения) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 3. – С. 13–22.
13. Зинкин, С. А. Сети абстрактных машин высших порядков в проектировании систем и сетей хранения и обработки данных (механизмы интерпретации и варианты использования) / С. А. Зинкин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2007. – № 4. –         С. 37–50.
14. Котов, В. Е. Сети Петри / В. Е. Котов. – М. : Наука, 1984. – 160 с.
15. Дубинин, В. Н. Графотрансформационный подход к синтезу формальных моделей систем функциональных блоков IEC 61499 / В. Н. Дубинин, В. В. Вяткин // Известия высших учебных заведений. Поволжский регион. Технические науки. – 2008. – № 4. – С. 16–26.
16. Вашкевич, Н. П. Активные инфологические модели обработки данных на основе иерархических сетей фреймов / Н. П. Вашкевич, Н. С. Зинкина // Вопросы радиоэлектроники. Серия ЭВТ. – 2009. – Вып. 4. – С. 54–63.